2

Encoding transition systems in sequent calculus

Year:
2003
Language:
english
File:
PDF, 243 KB
english, 2003
7

Cut-elimination for a logic with definitions and induction

Year:
2000
Language:
english
File:
PDF, 175 KB
english, 2000
8

MAGNESITE REFRACTORIES

Year:
1920
Language:
english
File:
PDF, 3.09 MB
english, 1920
9

MAGNESITE REFRACTORIES

Year:
1920
Language:
english
File:
PDF, 49 KB
english, 1920